option 2: A representation of graphs with an uncountable number of nodes